7a55eba0eec3e8002e4606a5adfefe60d834083c,core/languageDesign/refactoring/source_gen/jetbrains/mps/lang/refactoring/typesystem/typeof_ConceptFunctionParameter_RefactoringParameter_InferenceRule.java,typeof_ConceptFunctionParameter_RefactoringParameter_InferenceRule,applyRule,#SNode#TypeCheckingContext#,18

Before Change



  public void applyRule(final SNode parameter, final TypeCheckingContext typeCheckingContext) {
    SNode chooser = SNodeOperations.getAncestor(parameter, "jetbrains.mps.lang.refactoring.structure.MPSParameterChooser", false, false);
    if (SPropertyOperations.hasValue(chooser, "type", null, null)) {
      {
        SNode _nodeToCheck_1029348928467 = parameter;
        BaseIntentionProvider intentionProvider = null;

After Change


        BaseIntentionProvider intentionProvider = null;
        typeCheckingContext.createEquation((SNode)typeCheckingContext.typeOf(_nodeToCheck_1029348928467, "r:00000000-0000-4000-0000-011c89590316(jetbrains.mps.lang.refactoring.typesystem)", "5497648299879035588", true), (SNode)new _Quotations.QuotationClass_28().createNode(typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c89590316(jetbrains.mps.lang.refactoring.typesystem)", "5497648299879035585", intentionProvider);
      }
    } else if (SPropertyOperations.hasValue(chooser, "type", "model", "node")) {
      {
        SNode _nodeToCheck_1029348928467 = parameter;
        BaseIntentionProvider intentionProvider = null;